The formal ball model for -categories
نویسندگان
چکیده
We generalize the construction of the formal ball model for metric spaces due to A. Edalat and R. Heckmann to obtain computational models for separated Q-categories. We fully describe (a) Yoneda complete and (b) continuous Yoneda complete Q-categories via their formal ball models. Our results yield solutions to two open problems in the theory of quasi-metric spaces: we show that (a) a quasi-metric space X is Yoneda complete iff its formal ball model is a dcpo, and (b) a quasi-metric space X is continuous and Yoneda complete iff its formal ball model BX is a domain that admits a simple characterisation of approximation.
منابع مشابه
Computationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کاملAn Instantaneous Rigid Force Model For 3-Axis Ball-End Milling Of Sculptured Surfaces
An instantaneous rigid force model for prediction of cutting forces in ball-end milling of sculptured surfaces is presented in this paper. A commercially available geometric engine is used to represent the cutting edge, cutter and updated part geometries. The cutter used in this work is an insert type ball-end mill. Intersecting an inclined plane with the cutter ball nose generates the cutting...
متن کاملFORMAL BALLS IN FUZZY PARTIAL METRIC SPACES
In this paper, the poset $BX$ of formal balls is studied in fuzzy partial metric space $(X,p,*)$. We introduce the notion of layered complete fuzzy partial metric space and get that the poset $BX$ of formal balls is a dcpo if and only if $(X,p,*)$ is layered complete fuzzy partial metric space.
متن کاملAn integrated model of organizational participation for Iranian public organizations
Regardless of studies about participation, theoretical coherence has not been formed and developing an effective theory of participation in public organizations is still a major challenge.This research, by presenting an integrated model of participation, seeks to converge and contribute to managing the affairs of government organizations.This research has been exploratory and descriptive in ter...
متن کاملMetric and periodic lines in the Poincare ball model of hyperbolic geometry
In this paper, we prove that every metric line in the Poincare ball model of hyperbolic geometry is exactly a classical line of itself. We also proved nonexistence of periodic lines in the Poincare ball model of hyperbolic geometry.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 21 شماره
صفحات -
تاریخ انتشار 2011